Graph Modelling and Transformation: Theory meets Practice
نویسندگان
چکیده
In this paper, we focus on the role of graphs and graph transformation for four practical application areas from software system development. We present the typical problems in these areas and investigate how the respective systems are modelled by graphs and graph transformation. In particular, we are interested in the usefulness of theoretical graph transformation results and graph transformation tools in order to solve these problems. Finally, we characterize concepts and tool features which are still missing in practice to solve the presented and related problems even better.
منابع مشابه
Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDF
Domain-specific modelling langugages (DSMLs), which are tailored to the requirements of their users, can significantly increase the acceptance of formal (or at least semi-formal) modelling in scenarios where informal drawings and natural language descriptions are predominant today. We show in this paper how the Resource Description Framework (RDF), which is a standard for the fundamental data s...
متن کاملBond graph model of doubly fed three phase induction motor using the Axis Rotator element for frame transformation
Induction motor is a typical member of a multi-domain, non-linear, high order dynamic system. For speed control a three phase induction motor is modelled as a d–q model where linearity is assumed and non-idealities are ignored. Approximation of the physical characteristic gives a simulated behaviour away from the natural behaviour. This paper proposes a bond graph model of an induction motor th...
متن کاملAbstract Graph Transformation - Theory and Practice
Graph Transformation Theory and Practice
متن کاملUser Interface Modelling Based on the Graph Transformations of Conceptual Data Model
The aim of our article is a brief description of user interface modelling based on the graph transformations of conceptual data model. We use the lightweight formal method intended for deriving the user interface schemes by graph transformations from conceptual data model speci cations. The presented method based on graph transformation theory gives us a very visual tool for our objective. In o...
متن کاملFrom Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement
In this position statement we discuss the state of the art and role of formal specification and modelling techniques in different periods with special focus on the work of the TFS-group at TU-Berlin. In the past (1970 – 1990) single formal specification techniques have been developed with little impact on practical software development. In the present (1990 – 2010) integrated and visual modelli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- ECEASST
دوره 30 شماره
صفحات -
تاریخ انتشار 2010